You have chosen Mahaprajnaparamitashastra, First-Order Modal Logic and Mahaprajnaparamitashastra.
All three must be different; choose another text.